|
|
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 240 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /
Publication:
Berlin : Springer, 2010
. xi, 280 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High performance computing and applications : , International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xv, 589 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries
by Taft, S. Tucker.
Publication:
. XXVIII, 921 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
User-Level Workflow Design
by Lamprecht, Anna-Lena.
Publication:
. XXII, 223 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Multi-Agent Systems
by Cossentino, Massimo.
Publication:
. XVI, 391 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Parallel Processing Technologies
by Wu, Chenggang.
Publication:
. XII, 410 p. 187 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Sagonas, Kostis.
Publication:
. XIV, 261 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource Discovery
by Lacroix, Zoé.
Publication:
. X, 181 p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Rationale
by Barnes, John.
Publication:
. XI, 213 p. 3 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Middleware 2013
by Eyers, David.
Publication:
. XV, 498 p. 238 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 241 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing
by Basu, Samik.
Publication:
. XVIII, 713 p. 260 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
PRIMA 2013: Principles and Practice of Multi-Agent Systems
by Boella, Guido.
Publication:
. XVIII, 536 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Ng, Wilfred.
Publication:
. XXVIII, 514 p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Yenigün, Hüsnü.
Publication:
. XIV, 291 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|